f >=> g = \a -> let mb = f a
                in ...